[next] [prev] [prev-tail] [tail] [up]

Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 29 31 30 37 0 58 46

N.S.

1 1.00 0.71 0.76 0.73 0.90 0.00 1.41 1.12

time (sec)

N/A 0.017 0.003 0.042 0.198 0.257 0.000 0.301 13.392

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 63 54 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.025 0.033 0.000 0.000 0.000 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

64 64 55 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.027 0.034 0.000 0.000 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.013 0.037 0.000 0.000 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.013 0.032 0.000 0.000 0.000 0.000 0.000 0.000

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 46 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.008 0.028 0.000 0.000 0.000 0.000 0.000 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 49 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.012 0.040 0.000 0.000 0.000 0.000 0.000 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 51 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.013 0.041 0.000 0.000 0.000 0.000 0.000 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 67 56 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.014 0.118 0.000 0.000 0.000 0.000 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 67 56 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.014 0.090 0.000 0.000 0.000 0.000 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 54 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.014 0.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 54 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.015 0.138 0.000 0.000 0.000 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

67 67 56 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.015 0.146 0.000 0.000 0.000 0.000 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.006 0.003 0.019 0.194 0.241 0.019 0.284 0.031

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 19 19 19 19 19

N.S.

1 1.00 1.00 0.80 0.76 0.76 0.76 0.76 0.76

time (sec)

N/A 0.005 0.002 0.017 0.218 0.245 0.019 0.294 0.030

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 15 16 16

N.S.

1 1.00 1.00 0.85 0.80 0.80 0.75 0.80 0.80

time (sec)

N/A 0.002 0.000 0.014 0.197 0.239 0.018 0.284 0.026

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 20 17 17 20 17

N.S.

1 1.00 1.00 0.86 0.95 0.81 0.81 0.95 0.81

time (sec)

N/A 0.004 0.003 0.040 0.196 0.239 0.034 0.279 0.026

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 16 20 12 16 16

N.S.

1 1.00 1.00 0.94 0.89 1.11 0.67 0.89 0.89

time (sec)

N/A 0.004 0.002 0.022 0.199 0.237 0.033 0.288 0.030

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 20 22 17 26 17

N.S.

1 1.00 1.00 0.86 0.95 1.05 0.81 1.24 0.81

time (sec)

N/A 0.005 0.002 0.026 0.195 0.250 0.048 0.283 0.029

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 17 17 21 17 17 18

N.S.

1 1.00 1.00 0.94 0.94 1.17 0.94 0.94 1.00

time (sec)

N/A 0.005 0.003 0.024 0.208 0.234 0.055 0.290 0.025

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 21 23 19 27 20

N.S.

1 1.00 1.00 0.86 1.00 1.10 0.90 1.29 0.95

time (sec)

N/A 0.005 0.003 0.026 0.195 0.234 0.112 0.284 12.885

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 20 21 21 22 21 20

N.S.

1 1.00 1.00 0.87 0.91 0.91 0.96 0.91 0.87

time (sec)

N/A 0.005 0.002 0.025 0.198 0.227 0.122 0.298 0.033

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 21 21 22 21 21

N.S.

1 1.00 1.00 0.80 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.005 0.003 0.025 0.196 0.231 0.164 0.297 0.033

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 20 21 21 22 21 21

N.S.

1 1.00 1.00 0.80 0.84 0.84 0.88 0.84 0.84

time (sec)

N/A 0.005 0.004 0.025 0.192 0.226 0.160 0.285 0.033

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 45 44 44 51 46 45

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.94 0.85 0.83

time (sec)

N/A 0.020 0.006 0.068 0.199 0.231 0.024 0.300 0.028

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 48 45 44 44 46 46 45

N.S.

1 1.00 0.89 0.83 0.81 0.81 0.85 0.85 0.83

time (sec)

N/A 0.026 0.006 0.065 0.217 0.250 0.023 0.316 0.022

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 42 45 41 48 43 42

N.S.

1 1.00 1.00 0.86 0.92 0.84 0.98 0.88 0.86

time (sec)

N/A 0.013 0.004 0.023 0.197 0.230 0.020 0.300 0.021

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 43 44 41 42 46 42

N.S.

1 1.00 1.00 0.91 0.94 0.87 0.89 0.98 0.89

time (sec)

N/A 0.027 0.010 0.066 0.208 0.230 0.052 0.294 0.026

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 45 42 46 44 44 43

N.S.

1 1.00 1.00 0.94 0.88 0.96 0.92 0.92 0.90

time (sec)

N/A 0.015 0.012 0.052 0.198 0.238 0.048 0.287 0.024

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 46 45 44 47 44 53 43

N.S.

1 1.00 0.90 0.88 0.86 0.92 0.86 1.04 0.84

time (sec)

N/A 0.026 0.011 0.030 0.196 0.234 0.069 0.293 0.027

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 42 42 46 46 42 44

N.S.

1 1.00 1.00 0.89 0.89 0.98 0.98 0.89 0.94

time (sec)

N/A 0.015 0.016 0.033 0.199 0.257 0.073 0.300 0.043

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 41 42 45 47 44 60 43

N.S.

1 1.00 0.91 0.93 1.00 1.04 0.98 1.33 0.96

time (sec)

N/A 0.026 0.013 0.035 0.201 0.236 0.192 0.293 0.039

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 49 43 45 46 48 47 44

N.S.

1 1.00 1.02 0.90 0.94 0.96 1.00 0.98 0.92

time (sec)

N/A 0.017 0.017 0.033 0.196 0.225 0.200 0.293 0.041

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 50 44 45 48 48 54 46

N.S.

1 1.00 0.98 0.86 0.88 0.94 0.94 1.06 0.90

time (sec)

N/A 0.025 0.014 0.033 0.213 0.247 0.357 0.296 12.874

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 49 42 44 46 46 46 45

N.S.

1 1.00 1.04 0.89 0.94 0.98 0.98 0.98 0.96

time (sec)

N/A 0.017 0.017 0.031 0.205 0.237 0.357 0.296 12.838

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 50 43 48 48 48 58 45

N.S.

1 1.00 1.04 0.90 1.00 1.00 1.00 1.21 0.94

time (sec)

N/A 0.026 0.019 0.035 0.214 0.243 0.642 0.284 12.996

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 50 45 46 46 49 48 46

N.S.

1 1.00 0.96 0.87 0.88 0.88 0.94 0.92 0.88

time (sec)

N/A 0.017 0.015 0.033 0.194 0.240 0.691 0.287 0.036

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 53 45 46 46 49 48 47

N.S.

1 1.00 0.98 0.83 0.85 0.85 0.91 0.89 0.87

time (sec)

N/A 0.026 0.011 0.034 0.229 0.253 0.962 0.284 12.902

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 56 45 46 46 49 48 47

N.S.

1 1.00 1.04 0.83 0.85 0.85 0.91 0.89 0.87

time (sec)

N/A 0.017 0.017 0.037 0.193 0.242 1.127 0.280 12.855

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 50 45 46 46 49 48 47

N.S.

1 1.00 0.93 0.83 0.85 0.85 0.91 0.89 0.87

time (sec)

N/A 0.024 0.012 0.036 0.212 0.229 1.343 0.286 13.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 89 85 81 81 97 87 76

N.S.

1 1.00 1.00 0.96 0.91 0.91 1.09 0.98 0.85

time (sec)

N/A 0.040 0.011 0.079 0.194 0.228 0.026 0.306 0.037

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 79 85 81 81 92 87 76

N.S.

1 1.00 0.89 0.96 0.91 0.91 1.03 0.98 0.85

time (sec)

N/A 0.055 0.011 0.074 0.206 0.247 0.027 0.285 0.032

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 81 81 85 77 87 83 72

N.S.

1 1.00 1.00 1.00 1.05 0.95 1.07 1.02 0.89

time (sec)

N/A 0.031 0.008 0.027 0.195 0.240 0.025 0.288 0.031

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 85 82 82 79 92 87 73

N.S.

1 1.00 1.00 0.96 0.96 0.93 1.08 1.02 0.86

time (sec)

N/A 0.055 0.015 0.065 0.201 0.239 0.080 0.292 0.036

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 80 84 78 83 82 83 73

N.S.

1 1.00 1.00 1.05 0.98 1.04 1.02 1.04 0.91

time (sec)

N/A 0.029 0.016 0.066 0.207 0.237 0.077 0.284 0.033

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 78 86 82 85 92 98 75

N.S.

1 1.00 0.91 1.00 0.95 0.99 1.07 1.14 0.87

time (sec)

N/A 0.055 0.022 0.043 0.201 0.234 0.098 0.289 0.038

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 84 80 83 90 84 77

N.S.

1 1.00 1.00 1.01 0.96 1.00 1.08 1.01 0.93

time (sec)

N/A 0.027 0.018 0.038 0.196 0.235 0.102 0.289 0.032

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 93 105 0 313 391 92 842

N.S.

1 1.00 0.93 1.05 0.00 3.13 3.91 0.92 8.42

time (sec)

N/A 0.085 0.060 0.119 0.000 0.261 1.682 0.604 13.332

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 78 83 0 254 316 75 655

N.S.

1 1.00 0.96 1.02 0.00 3.14 3.90 0.93 8.09

time (sec)

N/A 0.055 0.030 0.093 0.000 0.253 1.059 0.542 13.483

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 62 60 0 197 223 59 118

N.S.

1 1.00 0.98 0.95 0.00 3.13 3.54 0.94 1.87

time (sec)

N/A 0.038 0.016 0.066 0.000 0.247 0.486 0.591 13.113

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 39 36 0 129 131 35 41

N.S.

1 1.00 1.08 1.00 0.00 3.58 3.64 0.97 1.14

time (sec)

N/A 0.023 0.007 0.040 0.000 0.246 0.245 0.646 0.061

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 113 65 0 223 253 68 1014

N.S.

1 1.00 1.64 0.94 0.00 3.23 3.67 0.99 14.70

time (sec)

N/A 0.048 0.051 0.057 0.000 0.253 8.450 0.566 13.556

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 135 85 0 293 0 94 2033

N.S.

1 1.00 1.52 0.96 0.00 3.29 0.00 1.06 22.84

time (sec)

N/A 0.086 0.079 0.076 0.000 0.259 0.000 0.617 14.632

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 188 134 0 374 0 126 2451

N.S.

1 1.00 1.65 1.18 0.00 3.28 0.00 1.11 21.50

time (sec)

N/A 0.124 0.141 0.091 0.000 0.278 0.000 0.609 14.915

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 250 73 0 1564 194 2457 4127

N.S.

1 1.00 1.23 0.36 0.00 7.70 0.96 12.10 20.33

time (sec)

N/A 0.381 0.101 0.122 0.000 0.300 11.581 0.877 13.751

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 202 57 0 1059 129 2109 3026

N.S.

1 1.00 1.13 0.32 0.00 5.92 0.72 11.78 16.91

time (sec)

N/A 0.167 0.072 0.064 0.000 0.271 1.108 0.918 0.692

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 165 41 0 559 75 503 416

N.S.

1 1.00 1.10 0.27 0.00 3.73 0.50 3.35 2.77

time (sec)

N/A 0.065 0.056 0.052 0.000 0.256 0.374 1.355 13.278

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 129 38 0 613 87 1026 763

N.S.

1 1.00 0.86 0.25 0.00 4.09 0.58 6.84 5.09

time (sec)

N/A 0.048 0.051 0.048 0.000 0.264 0.570 0.896 13.462

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 191 159 0 1116 148 1839 2997

N.S.

1 1.00 1.10 0.91 0.00 6.41 0.85 10.57 17.22

time (sec)

N/A 0.140 0.254 0.085 0.000 0.276 1.797 0.914 13.664

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 216 179 0 1622 211 1640 4160

N.S.

1 1.00 1.10 0.91 0.00 8.28 1.08 8.37 21.22

time (sec)

N/A 0.268 0.092 0.096 0.000 0.280 74.430 0.994 13.825

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 121 179 0 663 0 152 1336

N.S.

1 1.00 0.92 1.36 0.00 5.02 0.00 1.15 10.12

time (sec)

N/A 0.117 0.111 0.163 0.000 0.282 0.000 0.556 13.805

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 93 104 0 407 282 96 187

N.S.

1 1.00 1.19 1.33 0.00 5.22 3.62 1.23 2.40

time (sec)

N/A 0.046 0.058 0.096 0.000 0.264 0.749 0.541 0.157

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 79 77 0 360 269 82 178

N.S.

1 1.00 1.05 1.03 0.00 4.80 3.59 1.09 2.37

time (sec)

N/A 0.042 0.042 0.086 0.000 0.252 0.655 0.554 13.001

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 79 75 0 361 267 82 172

N.S.

1 1.00 1.07 1.01 0.00 4.88 3.61 1.11 2.32

time (sec)

N/A 0.040 0.051 0.085 0.000 0.237 0.641 0.522 0.131

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 207 185 0 813 0 166 5048

N.S.

1 1.00 1.70 1.52 0.00 6.66 0.00 1.36 41.38

time (sec)

N/A 0.133 0.210 0.116 0.000 0.315 0.000 0.534 17.301

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 248 213 0 1007 0 182 5491

N.S.

1 1.00 1.53 1.31 0.00 6.22 0.00 1.12 33.90

time (sec)

N/A 0.171 0.180 0.116 0.000 0.347 0.000 0.544 17.790

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 331 327 174 0 2856 0 3335 7599

N.S.

1 1.00 0.99 0.53 0.00 8.63 0.00 10.08 22.96

time (sec)

N/A 0.529 0.408 0.100 0.000 0.460 0.000 0.938 1.593

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

271 271 282 151 0 2257 0 2736 6293

N.S.

1 1.00 1.04 0.56 0.00 8.33 0.00 10.10 23.22

time (sec)

N/A 0.346 0.319 0.089 0.000 0.331 0.000 0.864 14.815

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 235 123 0 1668 296 2132 4973

N.S.

1 1.00 0.99 0.52 0.00 7.04 1.25 9.00 20.98

time (sec)

N/A 0.239 0.260 0.080 0.000 0.270 7.253 0.817 14.469

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 222 122 0 1680 0 1970 4854

N.S.

1 1.00 1.00 0.55 0.00 7.60 0.00 8.91 21.96

time (sec)

N/A 0.169 0.280 0.138 0.000 0.269 0.000 0.806 1.276

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

252 252 243 151 0 2309 0 2682 6404

N.S.

1 1.00 0.96 0.60 0.00 9.16 0.00 10.64 25.41

time (sec)

N/A 0.329 0.271 0.112 0.000 0.327 0.000 0.506 14.671

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 308 302 294 0 2912 0 3087 7555

N.S.

1 1.00 0.98 0.95 0.00 9.45 0.00 10.02 24.53

time (sec)

N/A 0.935 0.378 0.124 0.000 0.422 0.000 0.813 15.548

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 244 367 0 1631 0 306 2588

N.S.

1 1.00 1.17 1.76 0.00 7.80 0.00 1.46 12.38

time (sec)

N/A 0.249 0.197 0.266 0.000 0.293 0.000 1.329 16.199

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 194 267 0 973 554 212 444

N.S.

1 1.00 1.60 2.21 0.00 8.04 4.58 1.75 3.67

time (sec)

N/A 0.075 0.113 0.133 0.000 0.277 2.130 1.382 13.248

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 137 230 0 892 524 171 423

N.S.

1 1.00 1.15 1.93 0.00 7.50 4.40 1.44 3.55

time (sec)

N/A 0.067 0.130 0.135 0.000 0.256 1.645 1.321 13.125

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 145 216 0 907 580 161 460

N.S.

1 1.00 1.12 1.66 0.00 6.98 4.46 1.24 3.54

time (sec)

N/A 0.077 0.096 0.142 0.000 0.263 2.277 1.397 13.194

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 114 128 0 808 491 143 400

N.S.

1 1.00 1.01 1.13 0.00 7.15 4.35 1.27 3.54

time (sec)

N/A 0.057 0.069 0.120 0.000 0.305 1.276 1.459 13.331

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 106 126 0 809 481 144 386

N.S.

1 1.00 0.94 1.12 0.00 7.16 4.26 1.27 3.42

time (sec)

N/A 0.053 0.071 0.124 0.000 0.253 1.240 1.324 13.198

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 342 360 0 2017 0 323 9339

N.S.

1 1.00 1.71 1.80 0.00 10.08 0.00 1.62 46.70

time (sec)

N/A 0.193 0.301 0.172 0.000 0.542 0.000 1.291 19.813

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 255 402 412 0 2312 0 382 10074

N.S.

1 1.00 1.58 1.62 0.00 9.07 0.00 1.50 39.51

time (sec)

N/A 0.265 0.357 0.186 0.000 0.691 0.000 1.301 21.131

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 400 455 331 0 4279 0 2430 10912

N.S.

1 1.00 1.14 0.83 0.00 10.70 0.00 6.08 27.28

time (sec)

N/A 1.300 0.694 0.135 0.000 0.687 0.000 2.333 18.277

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 348 381 289 0 3725 0 4558 9575

N.S.

1 1.00 1.09 0.83 0.00 10.70 0.00 13.10 27.51

time (sec)

N/A 0.526 0.591 0.127 0.000 0.447 0.000 1.934 16.904

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 343 251 0 3128 0 1750 8521

N.S.

1 1.00 1.15 0.84 0.00 10.50 0.00 5.87 28.59

time (sec)

N/A 0.420 0.507 0.122 0.000 0.336 0.000 2.158 16.819

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 285 251 0 3128 0 1861 8397

N.S.

1 1.00 0.99 0.87 0.00 10.82 0.00 6.44 29.06

time (sec)

N/A 0.509 0.444 0.121 0.000 0.337 0.000 2.007 16.723

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

311 311 334 289 0 3777 0 4270 9731

N.S.

1 1.00 1.07 0.93 0.00 12.14 0.00 13.73 31.29

time (sec)

N/A 0.479 0.516 0.256 0.000 0.455 0.000 1.829 17.418

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

355 355 372 331 0 4323 0 2707 10979

N.S.

1 1.00 1.05 0.93 0.00 12.18 0.00 7.63 30.93

time (sec)

N/A 1.186 0.622 0.234 0.000 0.669 0.000 1.069 17.430

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

425 425 454 517 0 4924 0 5273 12130

N.S.

1 1.00 1.07 1.22 0.00 11.59 0.00 12.41 28.54

time (sec)

N/A 0.663 1.086 0.173 0.000 1.181 0.000 1.797 18.267

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 80 86 0 259 311 78 656

N.S.

1 1.00 0.98 1.05 0.00 3.16 3.79 0.95 8.00

time (sec)

N/A 0.062 0.038 0.082 0.000 0.259 1.093 0.607 0.511

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 65 63 0 206 223 62 120

N.S.

1 1.00 1.02 0.98 0.00 3.22 3.48 0.97 1.88

time (sec)

N/A 0.041 0.017 0.046 0.000 0.253 0.499 0.628 13.022

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 41 38 0 134 131 37 42

N.S.

1 1.00 1.17 1.09 0.00 3.83 3.74 1.06 1.20

time (sec)

N/A 0.024 0.007 0.034 0.000 0.263 0.272 0.562 12.912

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 117 68 0 230 253 71 1015

N.S.

1 1.00 1.67 0.97 0.00 3.29 3.61 1.01 14.50

time (sec)

N/A 0.050 0.048 0.056 0.000 0.255 8.448 0.545 0.661

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 139 87 0 298 0 95 2032

N.S.

1 1.00 1.56 0.98 0.00 3.35 0.00 1.07 22.83

time (sec)

N/A 0.096 0.094 0.074 0.000 0.256 0.000 0.592 14.565

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 208 58 0 1051 129 2153 3000

N.S.

1 1.00 1.16 0.32 0.00 5.87 0.72 12.03 16.76

time (sec)

N/A 0.212 0.083 0.072 0.000 0.260 1.125 0.827 0.706

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 137 43 0 551 75 513 416

N.S.

1 1.00 0.91 0.29 0.00 3.67 0.50 3.42 2.77

time (sec)

N/A 0.070 0.068 0.049 0.000 0.242 0.383 0.902 13.141

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 137 40 0 605 87 1050 763

N.S.

1 1.00 0.91 0.27 0.00 4.03 0.58 7.00 5.09

time (sec)

N/A 0.036 0.053 0.044 0.000 0.249 0.597 0.567 0.512

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 199 159 0 1108 148 1877 2979

N.S.

1 1.00 1.16 0.92 0.00 6.44 0.86 10.91 17.32

time (sec)

N/A 0.120 0.272 0.087 0.000 0.266 1.821 0.829 13.914

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 62 63 74 156 138 60 166

N.S.

1 1.00 0.90 0.91 1.07 2.26 2.00 0.87 2.41

time (sec)

N/A 0.059 0.028 0.080 0.290 0.277 0.638 0.325 0.402

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 51 49 60 134 110 46 153

N.S.

1 1.00 0.91 0.88 1.07 2.39 1.96 0.82 2.73

time (sec)

N/A 0.033 0.014 0.051 0.282 0.243 0.333 0.320 13.732

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 31 26 37 91 53 23 31

N.S.

1 1.00 1.00 0.84 1.19 2.94 1.71 0.74 1.00

time (sec)

N/A 0.022 0.009 0.043 0.280 0.241 0.167 0.311 13.559

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 90 64 85 151 184 71 183

N.S.

1 1.00 1.17 0.83 1.10 1.96 2.39 0.92 2.38

time (sec)

N/A 0.049 0.040 0.055 0.273 0.252 2.470 0.331 13.924

[next] [prev] [prev-tail] [front] [up]